決定性有限 automaton (DFA)